Approximating polyhedra with sparse inequalities
نویسندگان
چکیده
In this paper, we study how well one can approximate arbitrary polytopes using sparse inequalities. Our motivation comes from the use of sparse cutting-planes in mixed-integer programing (MIP) solvers, since they help in solving the linear programs encountered during branch&-bound more efficiently. However, how well can we approximate the integer hull by just using sparse cutting-planes? In order to understand this question better, given a polyope P (e.g. the integer hull of a MIP), let P k be its best approximation using cuts with at most k non-zero coefficients. We consider d(P, P ) = maxx∈Pk (miny∈P ‖x− y‖) as a measure of the quality of sparse cuts. In our first result, we present general upper bounds on d(P, P ) which depend on the number of vertices in the polytope. Our bounds imply that if P has polynomially many vertices, using half sparsity already approximates it very well. Second, we present a lower bound on d(P, P ) for random polytopes that show that the upper bounds are quite tight. Third, we show that for a class of hard packing IPs, sparse cutting-planes do not approximate the integer hull well, that is d(P, P ) is large for such instances unless k is very close to n. Finally, we show that using sparse cutting-planes in polytope extensions is at least as good as using them in the original polyhedron, and give an example where the former is actually much better.
منابع مشابه
Speeding up Polyhedral Analysis by Identifying Common Constraints
Sets of linear inequalities are an expressive reasoning tool for approximating the reachable states of a program. However, the most precise way to join two states is to calculate the convex hull of the two polyhedra that are represented by the inequality sets, an operation that is exponential in the dimension of the polyhedra. We investigate how similarities in the two input polyhedra can be ex...
متن کاملInteger Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the represented space. Imprecision also arises when non-linear constraints occur. Moreover, in terms of tractability, even a space defined by linear...
متن کاملApproximating fixed points of nonexpansive mappings and solving systems of variational inequalities
A new approximation method for the set of common fixed points of nonexpansive mappings and the set of solutions of systems of variational inequalities is introduced and studied. Moreover, we apply our main result to obtain strong convergence theorem to a common fixed point of a nonexpannsive mapping and solutions of a system of variational inequalities of an inverse strongly mono...
متن کاملExploiting Sparsity in Polyhedral Analysis
The intrinsic cost of polyhedra has lead to research on more tractable sub-classes of linear inequalities. Rather than committing to the precision of such a sub-class, this paper presents a projection algorithm that works directly on any sparse system of inequalities and which sacrifices precision only when necessary. The algorithm is based on a novel combination of the Fourier-Motzkin algorith...
متن کاملSome continuous functions related to corner polyhedra, II
The group problem on the unit interval is developed, with and without continuous variables. The connection with cutting planes, or valid inequalities, is reviewed. Certain desirable properties of valid inequalities, such as minimality and extremality are developed, and the connection between valid inequalities for P(I, u 0) and P+(I, u 0) is developed. A class of functions is shown to give extr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Program.
دوره 154 شماره
صفحات -
تاریخ انتشار 2015